$\forall$$i$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type, $x$:Id, $k$:Knd, $T$:Type, ${\it test}$:(State(${\it ds}$)$\rightarrow$$T$$\rightarrow\mathbb{B}$), ${\it es}$:ES.
\\[0ex]recognizer(${\it es}$;$i$;${\it ds}$;$x$;$k$;$T$;${\it test}$) $\in$ $\mathbb{P}$